Type theory

Results: 3552



#Item
21

Cubical Type Theory Modelling CTT in Presheaves Modelling CTT in Internal Presheaves

Add to Reading List

Source URL: hott-uf.github.io

Language: English - Date: 2018-08-13 11:55:33
    22

    Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2016-12-12 10:03:11
      23

      CS364A: Exercise Set #6 Due by the beginning of class on Wednesday, November 6, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

      Add to Reading List

      Source URL: theory.stanford.edu

      - Date: 2013-10-30 12:47:08
        24

        Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†

        Add to Reading List

        Source URL: hott-uf.github.io

        - Date: 2018-03-28 14:04:14
          25

          WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner

          Add to Reading List

          Source URL: hott-uf.github.io

          - Date: 2018-03-28 14:04:14
            26

            Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk

            Add to Reading List

            Source URL: personal.cis.strath.ac.uk

            - Date: 2015-07-09 09:31:03
              27

              Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                28

                Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory

                Add to Reading List

                Source URL: hott-uf.github.io

                - Date: 2018-03-28 14:04:14
                  29

                  CS364A: Exercise Set #3 Due by the beginning of class on Wednesday, October 16, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

                  Add to Reading List

                  Source URL: theory.stanford.edu

                  - Date: 2013-10-13 11:38:17
                    30

                    A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

                    Add to Reading List

                    Source URL: www.andrew.cmu.edu

                    - Date: 2018-02-12 22:13:01
                      UPDATE